Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems
نویسندگان
چکیده
We study a logic adapted for the purpose of specifying component based systems with support for run time reconfiguration. In particular, we analyse some institutional properties of this logic, related to compositional reasoning in specifications. The logic is an adaptation of the Manna-Pnueli logic, a first-order temporal logic originally proposed to describe reactive systems. We present our variant in detail, and motivate the required extensions by showing how reconfigurable systems can be specified and how reasoning can be carried out in the presence of these properties. Some issues regarding the use of STeP for proof support are discussed.
منابع مشابه
Mixed Qualitative/Quantitative Dynamic Simulation of Processing Systems
In this article the methodology proposed by Li and Wang for mixed qualitative and quantitative modeling and simulation of temporal behavior of processing unit is reexamined and extended to more complex case. The main issue of their approach considers the multivariate statistics of principal component analysis (PCA), along with clustered fuzzy digraphs and reasoning. The PCA and fuz...
متن کاملUsing Model-Checking Techniques for Component-Based Systems with Reconfigurations
Within a component-based approach allowing dynamic reconfigurations, sequences of successive reconfiguration operations are expressed by means of reconfiguration paths, possibly infinite. We show that a subclass of such paths can be modelled by finite state automata. This feature allows us to use techniques related to model-checking to prove some architectural, event, and temporal properties re...
متن کاملTemporal Specifications of Component Based Systems with Polymorphic Dynamic Reconfiguration
In this chapter, we present a formal characterisation of component based systems with support for polymorphic dynamic reconfiguration. By dynamic reconfiguration we mean, as usual, changes in the system architecture at run time. By polymorphic reconfiguration we mean that reconfiguration operations may concern different types of components or connections, exploiting an inheritance relationship ...
متن کاملA SAIWD-Based Approach for Simultaneous Reconfiguration and Optimal Siting and Sizing of Wind Turbines and DVR units in Distribution Systems
In this paper, a combination of simulated annealing (SA) and intelligent water drops (IWD) algorithm is used to solve the nonlinear/complex problem of simultaneous reconfiguration with optimal allocation (size and location) of wind turbine (WT) as a distributed generation (DG) and dynamic voltage restorer (DVR) as a distributed flexible AC transmission systems (DFACT) unit in a distribution sys...
متن کاملContext-aware Modeling for Spatio-temporal Data Transmitted from a Wireless Body Sensor Network
Context-aware systems must be interoperable and work across different platforms at any time and in any place. Context data collected from wireless body area networks (WBAN) may be heterogeneous and imperfect, which makes their design and implementation difficult. In this research, we introduce a model which takes the dynamic nature of a context-aware system into consideration. This model is con...
متن کامل